type string = char list
